International Conference on Software Language Engineering (SLE) http://www.sleconf.org/2014

Source URL: www.sleconf.org

• Software engineering
• Computing
• Unified Modeling Language
• Scientific modeling
• Project management
• Domain-specific language
• Metamodeling
• Object Process Methodology
• Systems Modeling Language
• Business Process Model and Notation
• Modelica

THE DYNAMICS OF LOCALIZED COHERENT STRUCTURES AND THE ROLE OF ADAPTIVE SOFTWARE IN MULTISCALE MODELING CHRISTOPHER R. MYERS Abstract. Localized coherent structures are commonplace in nonequilibrium systems, and their d

Source URL: cbsu.tc.cornell.edu

Softw Syst Model:525–532 DOIs10270EDITORIAL In memory of Robert B. France, Co-Founder and Editor-in-Chief

Source URL: www.db.informatik.uni-bremen.de

• Software engineering
• Computing
• ISO standards
• Bernhard Rumpe
• Unified Modeling Language
• Kevin Lano
• Software and Systems Modeling
• Modeling language
• Jean-Marc Jzquel
• Domain-specific modeling
• Enterprise engineering

Modular Embedding of the Object Constraint Language into a Programming Language Fabian Büttner and Martin Gogolla University of Bremen, Computer Science Department, Database Systems Group {green,gogolla}@tzi.de

Source URL: www.db.informatik.uni-bremen.de

• Software
• Computing
• Unified Modeling Language
• Programming paradigms
• Object Constraint Language
• ECO
• Executable UML
• Imperative programming
• Statement
• Assignment
• Eclipse
• Modeling language

FlipThem: Modeling Targeted Attacks with FlipIt for Multiple Resources Aron Laszka1 , Gabor Horvath2 , Mark Felegyhazi2 , and Levente Butty´an2 1 Institute for Software Integrated Systems (ISIS)

Source URL: aronlaszka.com

Working with multi-agent-models – Pro and cons for daily routine Florian Harder, Rapp Trans AG Conference paper STRC 2012

Source URL: www.strc.ch

• Multi-agent systems
• Simulation
• Scientific modeling
• Agent-based model
• Complex systems theory
• Scientific modelling
• PTV AG
• Agent-based social simulation
• Comparison of agent-based modeling software

On Integrating Structure and Behavior Modeling with OCL Lars Hamann, Oliver Hofrichter, and Martin Gogolla University of Bremen, Computer Science Department Database Systems Group, DBremen, Germany {lhamann,hofric

Source URL: www.db.informatik.uni-bremen.de

• Software engineering
• Unified Modeling Language
• Computing
• Theoretical computer science
• Object Constraint Language
• ECO
• Executable UML
• Postcondition
• State diagram
• Event
• Class diagram
• Finite-state machine

Transition Systems and Linear-Time Properties Part #1 of Logic and Verification Joost-Pieter Katoen Software Modeling and Verification Group RWTH Aachen University MOVEP 2014, University of Nantes, July 7, 2014

Source URL: movep14.irccyn.ec-nantes.fr

Model Repair and Transformation with Echo Nuno Macedo, Tiago Guimar˜aes, Alcino Cunha HASLAB — High Assurance Software Laboratory INESC TEC & Universidade do Minho, Braga, Portugal {nfmmacedo,tguimaraes,alcino}@di.umi

Source URL: alfa.di.uminho.pt

• Unified Modeling Language
• Systems engineering
• Software engineering
• Computing
• Systems science
• Object Constraint Language
• Metamodeling
• Model-driven architecture
• Platform-specific model
• Object Process Methodology
• MMT
• QVT

Nokia Case Study MetaEdit+ revolutionized the way Nokia develops mobile phone software Effective development tools are vital for increasing productivity and improving the quality of products. When Nokia was searching for

Source URL: www.metacase.com

• MetaCASE tool
• Computing
• Nokia
• Metamodeling
• Noki
• Systems engineering
• Smartphones
• Domain-specific modeling
• Model-driven engineering
• Software
• MetaEdit+
• Unified Modeling Language